Bronchus cardiacus accessorius dexter

Bronchus Cardiacus Accessorius Dexter

The diagnosis of bronchus cardiacus accessorius dexter (BCAD) has occurred in 25 cases during the bronchoscopic investigations of 30,000 adult patients of the authors. In most of the cases, this bronchial anomaly has been revealed as an accessory phenomenon, nevertheless, in one of the patients, it was the source of a considerable hemorrhage. In another case reported here in detail, it occurred...

Timesharing Dexter

My husband Neil Immerman returned from the 1986 STOC meeting with an interesting proposition. Juris Hartmanis and Dexter Kozen had a small pocket of funds, and they proposed that the two of us visit the Cornell Computer Science Department for a week. It sounded delightful but we had a complication: our new son, who was all of four months old. We decided to time-share Dexter and split child care...

New Dexter

We propose a theoretical device for modeling the creation of new in-discernible semantic objects during program execution. The method fits well with the semantics of imperative, functional, and object-oriented languages and promotes equational reasoning about higher-order state.

Dexter Kozen: An Appreciation

I have known Dexter for 30 years, which, of course, means that I was 9 when I first met him. At that time, Dexter was already “the man”. Although he was only a few years ahead of me, he had already made his name by independently defining the notion of alternating Turing machines, a deep contribution to complexity theory that made it possible to connect time and space complexity. The results wer...

Bronchus tube and bronchus blocker.